420 research outputs found
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints
Simple conceptual graphs are considered as the kernel of most knowledge
representation formalisms built upon Sowa's model. Reasoning in this model can
be expressed by a graph homomorphism called projection, whose semantics is
usually given in terms of positive, conjunctive, existential FOL. We present
here a family of extensions of this model, based on rules and constraints,
keeping graph homomorphism as the basic operation. We focus on the formal
definitions of the different models obtained, including their operational
semantics and relationships with FOL, and we analyze the decidability and
complexity of the associated problems (consistency and deduction). As soon as
rules are involved in reasonings, these problems are not decidable, but we
exhibit a condition under which they fall in the polynomial hierarchy. These
results extend and complete the ones already published by the authors. Moreover
we systematically study the complexity of some particular cases obtained by
restricting the form of constraints and/or rules
Large amplitude tip/tilt estimation by geometric diversity for multiple-aperture telescopes
A novel method nicknamed ELASTIC is proposed for the alignment of
multiple-aperture telescopes, in particular segmented telescopes. It only needs
the acquisition of two diversity images of an unresolved source, and is based
on the computation of a modified, frequency-shifted, cross-spectrum. It
provides a polychromatic large range tip/tilt estimation with the existing
hardware and an inexpensive noniterative unsupervised algorithm. Its
performance is studied and optimized by means of simulations. They show that
with 5000 photo-electrons/sub-aperture/frame and 1024x1024 pixel images,
residues are within the capture range of interferometric phasing algorithms
such as phase diversity. The closed-loop alignment of a 6 sub-aperture mirror
provides an experimental demonstration of the effectiveness of the method.
Author accepted version. Final version is Copyright 2017 Optical Society of
America. One print or electronic copy may be made for personal use only.
Systematic reproduction and distribution, duplication of any material in this
paper for a fee or for commercial purposes, or modifications of the content of
this paper are prohibited.Comment: Final version:
https://www.osapublishing.org/josaa/abstract.cfm?uri=josaa-34-8-127
Coronagraphic phase diversity: performance study and laboratory demonstration
The final performance of current and future instruments dedicated to
exoplanet detection and characterization (such as SPHERE on the European Very
Large Telescope, GPI on Gemini North, or future instruments on Extremely Large
Telescopes) is limited by uncorrected quasi-static aberrations. These
aberrations create long-lived speckles in the scientific image plane, which can
easily be mistaken for planets. Common adaptive optics systems require
dedicated components to perform wave-front analysis. The ultimate wave-front
measurement performance is thus limited by the unavoidable differential
aberrations between the wavefront sensor and the scientific camera. To reach
the level of detectivity required by high-contrast imaging, these differential
aberrations must be estimated and compensated for. In this paper, we
characterize and experimentally validate a wave-front sensing method that
relies on focal-plane data. Our method, called COFFEE (for COronagraphic
Focal-plane wave-Front Estimation for Exoplanet detection), is based on a
Bayesian approach, and it consists in an extension of phase diversity to
high-contrast imaging. It estimates the differential aberrations using only two
focal-plane coronagraphic images recorded from the scientific camera itself. In
this paper, we first present a thorough characterization of COFFEE's
performance by means of numerical simulations. This characterization is then
compared with an experimental validation of COFFEE using an in-house adaptive
optics bench and an apodized Roddier & Roddier phase mask coronagraph. An
excellent match between experimental results and the theoretical study is
found. Lastly, we present a preliminary validation of COFFEE's ability to
compensate for the aberrations upstream of a coronagraph.Comment: A&A accepte
Designable buried waveguides in sapphire by proton implantation
Buried and stacked planar as well as buried single and parallel channel waveguides are fabricated in sapphire by proton implantation. Good control of the implantation parameters provides excellent confinement of the guided light in each structure. Low propagation losses are obtained in fundamental-mode, buried channel waveguides without postimplantation annealing. Choice of the implantation parameters allows one to design mode shapes with different ellipticity and/or mode asymmetry in each orthogonal direction, thus demonstrating the versatility of the fabrication method. Horizontal and vertical parallelization is demonstrated for the design of one- or two-dimensional waveguide arrays in hard crystalline materials
High-order myopic coronagraphic phase diversity (COFFEE) for wave-front control in high-contrast imaging systems
The estimation and compensation of quasi-static aberrations is mandatory to
reach the ultimate performance of high-contrast imaging systems. COFFEE is a
focal plane wave-front sensing method that consists in the extension of phase
diversity to high-contrast imaging systems. Based on a Bayesian approach, it
estimates the quasi-static aberrations from two focal plane images recorded
from the scientific camera itself. In this paper, we present COFFEE's extension
which allows an estimation of low and high order aberrations with nanometric
precision for any coronagraphic device. The performance is evaluated by
realistic simulations, performed in the SPHERE instrument framework. We develop
a myopic estimation that allows us to take into account an imperfect knowledge
on the used diversity phase. Lastly, we evaluate COFFEE's performance in a
compensation process, to optimize the contrast on the detector, and show it
allows one to reach the 10^-6 contrast required by SPHERE at a few resolution
elements from the star. Notably, we present a non-linear energy minimization
method which can be used to reach very high contrast levels (better than 10^-7
in a SPHERE-like context)Comment: Accepted in Optics Expres
Proton implanted sapphire planar and channel waveguides
We report low-order transverse-mode planar waveguides in sapphire fabricated for the first time by proton implantation. The waveguides show good guiding properties without post-implantation annealing. Channel waveguiding was achieved by polyimide strip-loading
Sapphire planar waveguides fabricated by H+ ion beam implantation
1.1-MeV proton-implanted sapphire waveguides are investigated for the first time. Optical measurements show that the planar waveguides support low-order transverse-mode propagation with good guiding properties without the need to anneal the samples
A different perspective on canonicity
One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a graph is canonical if it is "meaningful'', the original theory is somewhat unclear about what that actually means, in particular how canonicity is related to logic. This paper argues that canonicity should be kept a first-class notion of Conceptual Structures Theory, provides a detailed analysis of work done so far, and proposes new definitions of the conformity relation and the canonical formation rules that allow a clear separation between canonicity and truth
Correction of distortion for optimal image stacking in Wide Field Adaptive Optics: Application to GeMS data
The advent of Wide Field Adaptive Optics (WFAO) systems marks the beginning
of a new era in high spatial resolution imaging. The newly commissioned Gemini
South Multi-Conjugate Adaptive Optics System (GeMS) combined with the infrared
camera Gemini South Adaptive Optics Imager (GSAOI), delivers quasi
diffraction-limited images over a field of 2 arc-minutes across. However,
despite this excellent performance, some variable residues still limit the
quality of the analyses. In particular, distortions severely affect GSAOI and
become a critical issue for high-precision astrometry and photometry. In this
paper, we investigate an optimal way to correct for the distortion following an
inverse problem approach. Formalism as well as applications on GeMS data are
presented.Comment: 10 pages, 6 figure
- …